Books by author Alexandra Silva

Showing 1 – 11 out of 11 results

1. 

   Logic and Program Semantics

   Robert L. Constable, Alexandra Silva | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   55.99 €

   Buy
2. 

   Foundations of Probabilistic Programming

   Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva | Cambridge University Press, 2020

   
   

   Print on demand - Shipping in 17 - 26 days

   Language: English

   Binding: Hardback

   85.51 €

   Sale 0 %

   You save 0.04 €

   Buy
3. 

   Language, Logic, and Computation

   Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2019

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.83 €

   Sale 7 %

   You save 4.29 €

   Buy
4. 

   Falling Offsides

   Alexandra Silva | Independently published, 2025

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   18.45 €

   Sale 6 %

   You save 1.36 €

   Buy
5. 
   New!

   Play For Keeps

   Alexandra Silva | Independently published, 2026

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   18.45 €

   Sale 6 %

   You save 1.36 €

   Buy
6. 

   Os Dois Jardins do Matti

   Alexandra Silva | Bookmundo, 2026

   
   

   Print on demand - Shipping in 17 - 27 days

   Language: Portuguese

   Binding: Paperback

   13.69 €

   Sale 4 %

   You save 0.61 €

   Buy
7. 
   New!

   Against The Tide

   Alexandra Silva | Independently published, 2026

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   18.45 €

   Sale 6 %

   You save 1.36 €

   Buy
8. 

   Computer Aided Verification

   Alexandra Silva | Springer Nature Switzerland AG, 2021

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   41.48 €

   Sale 7 %

   You save 3.45 €

   Buy
9. 

   Computer Aided Verification

   Alexandra Silva | Springer Nature Switzerland AG, 2021

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   41.48 €

   Sale 7 %

   You save 3.45 €

   Buy
10. 

    Break the Ice

    Alexandra Silva | Independently published, 2025

    
    

    In stock at our supplier - Shipping in 14 - 21 days

    Language: English

    Binding: Paperback

    18.45 €

    Sale 6 %

    You save 1.36 €

    Buy
11. 

    Formal Techniques for Distributed Objects, Components, and Systems

    Ahmed Bouajjani, Alexandra Silva | Springer International Publishing AG, 2017

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.83 €

    Sale 7 %

    You save 4.29 €

    Buy

Books are sent immediately or as soon as possible. Find out more